$\forall$$M$:MsgA. ma{-}is{-}empty($M$) $\Leftrightarrow$ $M$ $=$